Conformance testing of priority inheritance protocols

The priority inversion problem has been detected two decades ago. The decisive ideas to cope with this problem have been published one decade ago. In the meantime the vendors of operating systems and run–time systems have occupied this topic in providing certain protocols in order to avoid priority inversion. However, at a closer look there are considerable differences in the usage and the results of the various protocol interfaces. This is really pitiful in the scope of real–time systems, because the application programmer wants to rely on certain predictability criterions, depending only on the kind of protocol used. Hence, we propose test-suites to check the degree of conformance between the protocol proposed in literature and the one implemented in a certain environment.